((ENSPLAT00000015130,ENSPLAT00000023146),ENSPRET00000024586);